(module binary
  "\00\61\73\6d\01\00\00\00\01\84\80\80\80\00\01\60"
  "\00\00\03\84\80\80\80\00\03\00\00\00\07\99\80\80"
  "\80\00\03\02\62\72\00\00\05\62\72\5f\69\66\00\01"
  "\08\62\72\5f\74\61\62\6c\65\00\02\0a\aa\80\80\80"
  "\00\03\87\80\80\80\00\00\02\40\0c\00\0b\0b\89\80"
  "\80\80\00\00\02\40\41\01\0d\00\0b\0b\8a\80\80\80"
  "\00\00\02\40\41\00\0e\00\00\0b\0b"
)
(assert_return (invoke "br"))
(assert_return (invoke "br_if"))
(assert_return (invoke "br_table"))
